(set-logic HO_ALL)
(set-info :status sat)
(declare-const x6 Bool)
(declare-const x Int)
(declare-const b (-> Int Int Int))
(declare-const c (-> Int Int))
(assert (> (b 1 0) 0))
(assert (= (c 0) (b 0 1)))
(assert(= c (ite x6 (b 1) (b (+ 1 x)))))
(check-sat)
